10th Conference on Arithmetic Algebraic Geometry

نویسندگان

  • Shushi Harashita
  • Takehiko Yasuda
  • Brian Lehmann
  • Antoine Ducros
  • William Donovan
چکیده

This talk is based on a joint paper with Momonari Kudo (arXiv 1607.01114), where we proved that there is no superspecial curve of genus 4 in characteristic 7. This is an answer to the genus 4 case of the problem proposed by Ekedahl in 1987. This implies the non-existence of maximal curve of genus 4 over F49, which updated the table at manypoints.org. We give an algorithm to enumerate superspecial nonhyperelliptic curves of genus 4 in arbitrary p ≥ 5, and for p ≤ 7 we excute it with our implementation on a computer algebra system Magma. Our result in p = 5 re-proves the uniqueness of maximal curves of genus 4 over F25. Takehiko Yasuda (Osaka. Univ.) Vojta’s conjecture and singularities Abstract. Vojta’s conjecture was originally formulated for the pair of a nonsingular variety and a normal crossing divisor. In a recent paper, he generalized it further by replacing the normal crossing divisor by an arbitrary closed subscheme. In this talk, I will present a further generalization to log pairs with a possibly singular ambient variety. In this generalization, we use variants of multiplier ideals. In the case of a singular variety with a big canonical divisor, the generalized conjecture roughly says that most rational points are located near the non-canonical locus. Vojta’s conjecture was originally formulated for the pair of a nonsingular variety and a normal crossing divisor. In a recent paper, he generalized it further by replacing the normal crossing divisor by an arbitrary closed subscheme. In this talk, I will present a further generalization to log pairs with a possibly singular ambient variety. In this generalization, we use variants of multiplier ideals. In the case of a singular variety with a big canonical divisor, the generalized conjecture roughly says that most rational points are located near the non-canonical locus. Sho Tanimoto (Univ. Copenhagen) On the geometry of exceptional sets in Manin’s conjecture Abstract. Manin’s conjecture predicts an asymptotic formula for the counting function of rational points on a Fano variety after removing the contribution from an exceptional set. In this talk, I would like to discuss the geometry of this exceptional set using birational geometry, e.g., the minimal model program. This is joint work with Brian Lehmann. Manin’s conjecture predicts an asymptotic formula for the counting function of rational points on a Fano variety after removing the contribution from an exceptional set. In this talk, I would like to discuss the geometry of this exceptional set using birational geometry, e.g., the minimal model program. This is joint work with Brian Lehmann. Antoine Ducros (Pris 6) Skeletons of Berkovich spaces Abstract. One of the most interesting features of Berkovich theory is the existence, inside Berkovich analytic spaces, of subsets that inherit from the ambient analytic structure a piecewise-linear structure: the so-called /skeletons/. In this talk, I plan to make a general survey on skeletons, including recent results (joint work in progress with Amaury Thuillier) about their behavior under inverse and direct images. One of the most interesting features of Berkovich theory is the existence, inside Berkovich analytic spaces, of subsets that inherit from the ambient analytic structure a piecewise-linear structure: the so-called /skeletons/. In this talk, I plan to make a general survey on skeletons, including recent results (joint work in progress with Amaury Thuillier) about their behavior under inverse and direct images.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Self-similar fractals and arithmetic dynamics

‎The concept of self-similarity on subsets of algebraic varieties‎ ‎is defined by considering algebraic endomorphisms of the variety‎ ‎as `similarity' maps‎. ‎Self-similar fractals are subsets of algebraic varieties‎ ‎which can be written as a finite and disjoint union of‎ ‎`similar' copies‎. ‎Fractals provide a framework in which‎, ‎one can‎ ‎unite some results and conjectures in Diophantine g...

متن کامل

Formalized Proof, Computation, and the Construction Problem in Algebraic Geometry

It has become a classical technique to turn to theoretical computer science to provide computational tools for algebraic geometry. A more recent transformation is that now we also get logical tools, and these too should be useful in the study of algebraic varieties. The purpose of this note is to consider a very small part of this picture, and try to motivate the study of computer theorem-provi...

متن کامل

Arithmetic upon an Algebraic Surface

The title of my lecture is, I am afraid, probably misleading and certainly too ambitious. For, on the one hand, the connection between arithmetic and geometry suggested by it is not the modern development in divisors theory, but an application of algebraic geometry for arithmetical purposes. On the other hand, I shall confine the subject of this lecture to cubic surfaces in ordinary space, cons...

متن کامل

Software Engineering and Complexity in Effective Algebraic Geometry

We introduce the notion of a robust parameterized arithmetic circuit for the evaluation of algebraic families of multivariate polynomials. Based on this notion, we present a computation model, adapted to Scientific Computing, which captures all known branching parsimonious symbolic algorithms in effective Algebraic Geometry. We justify this model by arguments from Software Engineering. Finally ...

متن کامل

Modified Affine Arithmetic Is More Accurate than Centered Interval Arithmetic or Affine Arithmetic

In this paper we give mathematical proofs of two new results relevant to evaluating algebraic functions over a box-shaped region: (i) using interval arithmetic in centered form is always more accurate than standard affine arithmetic, and (ii) modified affine arithmetic is always more accurate than interval arithmetic in centered form. Test results show that modified affine arithmetic is not onl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016